221. Software Engineering and Formal Methods
المؤلف: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
222. Software, Services and Systems
المؤلف: \ [edited by] Rocco De Nicola, Rolf Hennicker.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
223. Software Technologies
المؤلف: \ edited by Andreas Holzinger...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
224. Software and data technologies :
المؤلف: María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
225. Software engineering and formal methods :
المؤلف: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
226. Software technologies :
المؤلف: Manuel Mazzara, Iulian Ober, Gwen Salaün (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.
رده :
QA76
.
758
227. Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
المؤلف: Stephan Diehl )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2269
228. Software visualization :international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
المؤلف: Stephan Diehl )ed.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
751
.
D34
2001
229. Solving Software Challenges for Exascale
المؤلف: \ Stefano Markidis , Erwin Laure (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Development -- Congresses.,Supercomputers -- Congresses,نرمافزار -- تولید -- کنگره ها
رده :
QA76
.
76
.
D47S62
2015
E-Book
,
230. Teaching formal methods
المؤلف: / C. Neville Dean, Raymond T. Boute (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)- Study and teaching- Congresses,Computer software- Development- Study and teaching- Congresses
رده :
QA76
.
9
.
F67
,
T46
2004
R
231. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
المؤلف: C. Neville Dean, Raymond T. Boute )eds.(
المکتبة: (طهران)
موضوع: Study and teaching -- Congresses ، Formal methods )Computer science(,Study and teaching -- Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3294
232. Tests and Proofs
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگره‌ها,نرمافزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
E-Book
,
233. Tests and proofs
المؤلف: Achim D. Brucker, Jacques Julliand
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
234. The unified modeling language, UML 2002 :
المؤلف: Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Congresses -- Development.,Logiciels -- Congrès -- Développement.,UML (Computer science) -- Congresses.
235. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
المؤلف: Robert France, Bernhard Rumpe )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1723
236. Theory and Practice of Model Transformations
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Model-driven software architecture -- Congresses,Computer science,Computer Communication Networks,علوم کامپیوتر,شبکه‌های ارتباطی کامپیوتری
رده :
E-Book
,
237. Transactions on petri nets and other models of concurrency VII
المؤلف: Kurt Jensen [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
238. UML 2004
المؤلف: / Thomas Baar ... [et al.] (eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer software- Development Congresses,UML (Computer science) Congresses
رده :
QA76
.
76
.
D47
,
U45
2004
239. UML 2004 :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses ; UML (Computer science) ; Congresses ;
240. UML 2004
المؤلف: / Thomas Baar ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,UML (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
U45
,
2004
